Nuprl Definition : sq_exists
12,41
postcript
pdf
x
:
A
.
B
(
x
) == {
x
:
A
|
B
(
x
)}
latex
Definitions
x
:
A
.
B
(
x
)
FDL editor aliases
sq_exists
origin
x:A. B(x) == {x:A| B(x)} x:A. B(x) == {x:A| B(x)} x:A. B(x)